141. On the shape of mathematical arguments
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ;
142. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M. van, 2591-
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
76
.
L28
Vol
.
445
143. Ordinal analysis with an introduction to proof theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
144. Probability And Inference In The Law Of Evidence: The Uses And Limits Of Bayesianism
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Evidence (Law)- Congresses,Burden Of Proof- Congresses,Inference (Logic)- Congresses,Bayesian Statistical Decision Theory- Congresses
رده :
Q
،
174
،.
B67
،
1988
145. Problems and proofs in numbers and algebra
پدیدآورنده : Millman, Richard S., 5491-
کتابخانه: (طهران)
موضوع : ، Number theory,، Proof theory,، Algebra
رده :
QA
241
.
M552P7
146. #Problems and proofs in numbers and algebra
پدیدآورنده : #Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Number theory ،Proof theory ،Algebra
رده :
#
QA
،#.
M55
،#
2015
147. Proof
پدیدآورنده : Plumpton, C.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Proof theory
149. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
150. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
151. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory
رده :
E-BOOK
152. Proof and proving in mathematics education :
پدیدآورنده : Gila Hanna, Michael de Villiers, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Study and teaching.,Proof theory-- Study and teaching.
رده :
QA9
.
54
.
P766
2012
153. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
154. Proof complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Computational complexity. ;
155. Proof in mathematics Eduction research,learning and teaching
پدیدآورنده : David Reid ,Christine knipping
کتابخانه: (کرمان)
موضوع : Proof theory
رده :
QA
9
.
54
.
P76
156. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
157. Proof, logic and formalization
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA
,
9
.
54
,.
P77
,
1992
158. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
159. Proof, logic, and formalization
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophie ; Preuve, Th?orie de la ; -Proof theory ; Logic, Symbolic and mathematical ; Logique symbolique et math?matique ; Math?matiques
